Counterfactual Causality in Networks

In this abstract we propose a framework for explaining violations of safety properties in Software Defined Networks, using counterfactual causal reasoning